Buy Used and New Cliff Jones Books

Modelling Systems: Practical Tools and Techniques in Software Development

by John Fitzgerald, Peter Gorm Larsen, Dines Bjørner, Cliff Jones

ISBN 13: 9780521623483

Format: Paperback (288 pages)
Publisher: Cambridge University Press
Published: 25 Jun 1998

Save for later

Rigorous Development of Complex Fault-Tolerant Systems (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540482659

Format: Paperback (413 pages)
Publisher: Springer
Published: 27 Nov 2006

Save for later

VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings: 252 (Lecture Notes in Computer Science)

by Cliff Jones,Dines Bjorner,Erich J. Neuhold,Michael Mac An Airchinnigh

ISBN 13: 9783540176541

Format: Paperback (436 pages)
Publisher: Springer
Published: 11 Mar 1987

Save for later

Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday: 11180 (Lecture Notes in Computer Science)

by Cliff Jones,Ji Wang,Naijun Zhan

ISBN 13: 9783030014605

Format: Paperback (276 pages)
Publisher: Springer
Published: 29 Sep 2018

Save for later